Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update grid decimation #4

Merged
merged 4 commits into from
Jun 10, 2024
Merged

Update grid decimation #4

merged 4 commits into from
Jun 10, 2024

Conversation

alavenant
Copy link
Collaborator

No description provided.

@alavenant alavenant force-pushed the update_grid_decimation branch from a4ce85d to aa20cba Compare June 3, 2024 15:57
@leavauchier leavauchier force-pushed the update_grid_decimation branch from aa20cba to f270fc6 Compare June 4, 2024 09:02
@leavauchier
Copy link
Contributor

@alavenant j'ai modifié ta branche pour :

  • rebase sur la branche main
  • ne garder que les changemetns qui sont liés à grid_decimation (comme ça tes 2 PR peuvent être mergées indépendemment l'unde de l'autre)

@alavenant alavenant force-pushed the update_grid_decimation branch from f270fc6 to 161eb98 Compare June 7, 2024 08:05
@alavenant alavenant force-pushed the update_grid_decimation branch from c26cb96 to 806b8ef Compare June 10, 2024 14:43
@leavauchier leavauchier marked this pull request as ready for review June 10, 2024 14:51
@leavauchier leavauchier merged commit d5ef3bd into main Jun 10, 2024
1 check passed
@leavauchier leavauchier deleted the update_grid_decimation branch June 10, 2024 14:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@leavauchier leavauchier leavauchier approved these changes

Assignees

@leavauchier leavauchier

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@alavenant @leavauchier